<?php
interface ExtensionInterface{
	public function handleExtension($file);
	
	public function getHandledExtensions();
}
?>